Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
441	Tool Demo: Scala-Virtualized Adriaan Moors Tiark Rompf Philipp Haller ∗ Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 06:19:31 Data types Type theory Functional programming Functional languages Procedural programming languages Scala Type system Anonymous function Domain-specific language Computing Software engineering Computer programming
442	DRA FRONT END FILTER PROJECT Specification of SSQL Semantics I Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:05 Computing ALGOL 68 HOL Programming language theory Procedural programming languages Software engineering
443	PDF Document Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:04 Interrupts Programming language theory Data types Pointer Subaru Tecnica International ALGOL 68 Computing Software engineering Interrupt flag
444	Fun tional Polytypi Programming Patrik Jansson Department of Computing S ien e Chalmers University of Te hnology and G oteborg University Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-09-06 04:14:31 Software engineering Lambda calculus Haskell Q Rewriting Theoretical computer science Functional languages Programming language theory
445	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Project-Team Gallium Programming languages, types, compilation and proofs Paris - Rocquencourt Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2011-02-28 06:23:38 Functional languages Type theory Procedural programming languages Logic in computer science Cross-platform software Type system OCaml Coq ML Software engineering Computing Programming language theory
446	Microsoft PowerPoint - 2010_SIGAda_Awards.ppt [Compatibility Mode] Add to Reading List Source URL: www.sigada.org Language: English Architecture Analysis & Design Language Software architecture Systems architecture Association for Computing Machinery Ada GNAT Cheddar cheese Pascal Computing Software engineering Programming language theory
447	ADI thanks Guy Lavoie for creating this very helpful FAQ document. C-Max 2.0 FAQ Version 1.5 Add to Reading List Source URL: www.appdig.com Language: English - Date: 2002-12-20 10:16:54 Computing ALGOL 68 Scripting languages Software engineering Programming language theory Procedural programming languages
448	Report N°: NMi 01 Page 2 of 15 Contents General type information ……………………………………………………………………………………………………………………………… Add to Reading List Source URL: www.adampos.com Language: English - Date: 2014-07-05 05:57:20 Mass Tare weight X Window System ALGOL 68 Software Computing Programming language theory
449	Functional Genetic Programming and Exhaustive Program Search with Combinator Expressions Forrest Briggs <> Melissa O’Neill <> August 19, 2007 Add to Reading List Source URL: www.cs.hmc.edu Language: English - Date: 2007-08-19 16:32:34 Type theory Lambda calculus Procedural programming languages Logic in computer science Theoretical computer science Combinatory logic Curry–Howard correspondence Anonymous function Expression Software engineering Programming language theory Computing
450	An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-29 15:29:08 Compiler construction Type theory Formal languages Procedural programming languages Cross-platform software Extended Backus–Naur Form Pascal Hindley–Milner C Software engineering Programming language theory Computing

UPDATE